perm filename AMR8.360[360,GF] blob
sn#784674 filedate 1985-02-07 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T GβaX
C %8↓∃@E0α∃ e(β∃ e ∧∃ ⊂α∃ ⊂α∀`0⊂αT` α∀@0 αT@ 0α∀@ 0α∀ 00αT @α∀α¬λ∀ Pα∪`0PαS` `α∪` `α∪@0`αS@ pα∪ @hαRA⊂@¬RA⊂@¬Q(D⊂Fc1X∧I!('↓↓⊂('↓↓ ('↓↓0('↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓0('↓↓ ('↓↓⊂('∧)aλ'↓↓ ('↓↓0('↓↓@ '↓↓@('↓↓P '↓↓P '↓↓P '↓↓P '↓↓@('↓↓@ '↓↓0('↓↓ (%¬)!_"Qλ1P∞εc0XβA@%⊂ε↓%β↓ Pλ↓S`PHβS@@hαS @xα∪Aα∪Aλ↓R`A⊂↓R`A_↓∩@Q_↓∩@A ↓∩@DPα∩@DPα∩@DPαD`$Xα∧`$Xα∧@4`α∧ 4`α∧ $hαβ`4pαβ 4xαB@5β↓@E⊂εU!∧("⊃βAp
F`↓_%¬)` ∧AI` ¬A)` ε↓)` εA)` π↓ ` πA ` πA ` πA ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` πA ` πA ` π↓)` π↓ ` εA ` ε↓)` ¬A)` ∧AI!(%∧hT "F#1X
@αtPS@@PαS@@`↓S@@h↓S@@h↓S@@h↓S@@0↓↓@$pα↓@ 0↓∪@@0↓↓@$pα↓ 4pα↓ 4pε∪ADpα↓ 4pα↓ 4pα↓@$pα↓@ 8↓∪@@0↓↓`$pαβ@4pαβ@4pαβ@$pαβ 4pαβDpαα`Tpαα dPRBt("⊃BqH
F`↓0%¬I` ∧A)` ¬@i` ¬A ` εi` εi` ε@I` β@P⊂'↓`⊂α@I` βI` α@i` α@i``'β ` α@i` α@i` βI` βI` βI` '↓ ` '↓ ` '↓ h%β(T #G#qX
Ba(↓∀AP_↓∀`0α 4xαB@dpαβ Thαβ`D`α∧D`α∧ 4Xα∧@4Xα∧`$PαD`$Pα∩@DPα∩@DPα∩@@hε∩@P`ε∩`Aλα∩`Aλα∪Aα∪Aα∪ @xα∪@@pα∪`PXαT`0∧∀A`λ↓U!(↓⊃(D@∞πC1Xβ@`%β@`'↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '¬ a '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ %β@`%β@`"Q ⊂`πεc0ε∩ADpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@DPε∩AD("∩B↓_
F`@`'β
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 %@@` %↓P %↓P %`P(%@`0(&α)P0"Q 1p⊂εc0ε↓A$Pε↓A$pαβTpαβ4pαα`4pαα@4pαα 4pαα4pα↓`4pα↓@4pα↓ 4pα↓Tpα`tpα@0λα∪@@λ↓@@TpβATpβ↓@DpαA`Tpαα Tpαα@Dpαα@Tpαα`TpαβDpαβTpαβ Tpαβ@DPε↓a4Pε↓a4("∪αa@
F`h%β)` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓↓@⊂'↓↓@⊂'↓↓@⊂'↓↓0_'↓↓0_'↓↓ '↓↓ _'↓↓⊂ '↓p0%¬)!("Q R_∩Fc0∧∧a∧P∧∧a∧pαD TpαD Tpββ`dpββ`dpβC tp↓ @h↓ Dp↓ PX↓@ Dp↓@@X↓@Dp↓@@X↓@Dp↓@PH↓@@Dp↓`@H↓`Dp↓`P8↓@`Dp↓↓@8↓↓Dp↓↓P(↓ADp↓↓ @(↓↓ Dp↓↓ P_↓A Dp↓↓@@_↓↓@Dp↓↓@@_↓↓@Dp↓↓@Pλ↓A@Dp↓↓`@λ↓↓`Dp↓↓`p8α∪@ @αBDp↓αP@α∪ @@↓B DP¬↓ 0(ε∩A 0↓↓!D("∪CAp
F`@¬αI H∧BI`(ε↓ `0εI`8¬@I`⊂A↓0⊂'@⊂(¬I`⊂↓↓!⊂⊂'@0(∧I`⊂α↓↓⊂'@@(β@I`⊂αA `⊂'@` βI`⊂β↓ P⊂'@p(αI`⊂∧↓@⊂'A(↓@I`⊂∧A ⊂'A ↓I`⊂¬↓ ⊂⊂'A08'A@0'AP('AP('A` &A↓`_%αA0_%αA@⊂"Q q`∂εc0P∧∀!eαA@Txαα@DpαβDhαβ@D`α∧D`α∧DXα∧@DXα∧@DPαD@TPα¬DPα¬DPα¬DPα¬DPα¬DPα¬DPα¬DXα∧@DXα∧@DXαDT`α∧Dhαβ@DpαβDxαα@EαA@Uλπ∃↓∧("∀β↓P
F`↓⊂%¬ ` ∧A)` ¬↓)` ¬A ` ε↓ ` ε↓ ` ε↓ ` ε↓ ` ε↓ ` ¬A ` ¬↓)` ∧A)a'βI` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` %β `"Q
⊃`∂λc0P∧∀!eαA@Txαα@DpαβDhαβ@D`α∧D`α∧DXα∧@DXα∧@DPαD@TPα¬DPα¬DPα¬DPα¬DPα¬DPα¬DPα¬DXα∧@DXα∧@DXαDT`α↓@@0α∪ @ β@`Dpα` ⊂α Dxα@ _βTp αT!`(↓∃↓ 0↓⊗`00↓⊗`00↓⊗`@ ↓W@⊂↓W↓∃`∧W upαQ(E⊂∞πC1X∧)! '↓↓('↓↓ '↓↓0 '↓↓0('↓↓@ '↓↓@ '↓↓@ '↓↓0('↓↓0 '↓↓ '↓↓('∧ `p'↓p '↓↓ '↓↓⊂ '↓↓ _'↓↓ '↓↓ '↓↓ '↓↓ '↓↓ αI` ¬↓@⊂'↓↓ (↓i `βB `∧A(T )DbQX
A p ↓∪!0⊂↓∪@(βR`@@αR`0Pα∩@0`↓R@0h↓∩@0h↓∩@@`↓∩@TXαRa∀`ε∪!Txε∀a∃8αVTP↓β DP↓β@4P↓β@4P↓C 4P↓C 4Pαα`4PβαDP∧↓ DP↓a4P↓↓ t("∃βAh
F`⊃P%FI00αAP0%Ap βA ∧↓↓ %↓↓ ∧↓ _∧A↓⊂_%a⊂ ∧@i ⊂¬↓↓ ⊂%A ¬J` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
↓(∧λT *GβaX
@↓@0¬∩A@0¬∪@@hα∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@@p↓∪@P`↓S`@`↓∪`PP↓TP@↓T P(α∀a5(βQ(E0∂πc1Xαa H%αa H&A!p '↓α⊂'↓!`_'A↓`⊂'A!@_(↓↓@⊂(↓↓@⊂(↓! _(A↓ ⊂(A!_)↓↓⊂)↓ p⊂)A`_)A`⊂)A @_*↓@⊂*↓ _*A ⊂*A ⊂*B
`0+↓Jp +A⊂,HT +Ie⊃X
@↓ _ε↓A∧P¬a@0∧∪PPαC4hαα`@`↓∪ @Xαβ$hαB@PP↓S@@PαB@$pαα@PP↓∪@P@βB4xαα λαα$xαα λαα$xαA@0λαA@5α↓@ _α↓@%αA _αA %λα↓0 α↓5λα↓ (α↓%λα@@0(α@@5⊂α@ 8α@%⊂α@ 8α@%⊂∧↓a¬_βα e_βα e_βα e αα`E αα`E αα`E(↓β %(↓β $("⊗βax
F`X∧α) X∧α)`(ε↓ p εip(¬j(∧j⊂(β@J βj (αj0(↓j@(@JP8*AJ`(+A*`8*@`⊂ *@@ (*`0()@`P()`p )A((@a⊂((a0('@aP '↓↓P(%B!⊂X%B!⊂X"Q⊃p∂Fc0¬BA∀P¬BA∀hαC`DpαC@4xαC5αβ%αB@5λαα@%λαB5⊂αA@5_α↓@%_αA5 α@@5(α@%(∧∃@e8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E_ε∀aD("⊗BQ8
F`⊃ %E 0(¬↓ 0_¬A)0_¬↓)0_¬↓ 0⊂¬↓)0⊂∧A)0⊂∧A 0⊂∧↓*@(*↓
0()↓* (A*⊂ (↓!⊂'A!⊂⊂'A↓ ⊂'↓!⊂_&A! _&A↓0_&↓! _%A!0_%A↓⊂0%¬ ! "Q⊃⊂
∧"⊂_βS↓$Xα`TXα↓T`↓↓@E α∃E∧∪!4`β@DXαADPαA DPα↓@@⊂↓∩@@0α@$Pα↓ P⊂↓∩`@_β@$XλS `⊂β⊃(F⊂
EC1X↓i 8&A P &A P &A P &A P &A 0&CIP8↓A)P(βA P ∧A P ∧A P ¬↓ P ¬↓ P ¬↓ P ¬↓ P ¬↓ P ¬↓ P ∧A P ∧A P(βA P8↓A)P_BIP⊂α↓HT 1Dα⊃λλA@tp¬∪ P_α∪@(α∩`@8↓∩`DPα∩@DPα∩@DPα∩@DXα∩`@H↓∪@8↓S P ↓SA%βQ(F
EC1X¬α
@@,↓ ,↓ ,↓ ,↓ (↓`⊂ 'βIP(α↓I@ βA)0 ∧A 0 ∧A ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ 0 ∧A 0 ∧↓)@ βA)P(↓Aiaλ(↓@ 8"QQλD"⊂(βSA∀hα`D`α↓ DXα↓@TXα↓`DPααDPλ∩B∧Pα∩@DPα∩`DXαα $`α↓`4hα@`Dp¬∀d("→A`p
F``0'B ` ↓↓ P(↓↓ P αIP &A P &A P %αi X&A P &A P &A P &A P &A P &A P &A P %αI P"Qqλ F"⊂ β@T`πR`P⊂α@ 4Xα↓DPα↓@DPα↓@DPα↓@DPα↓@DPα↓@DXα↓DXα@@TX¬R` λβ∩`$X↓Ra4`ε∩adPα↓`TP↓B@4P↓B@4P↓B@4PααDXαAT`ε∪A∧("~αQ0
F`8%↓iP &A P &A P &A P &A P ↓↓IP B)P8↓A P0αA P(β↓ P βA P βA P βA P βA P βA P βA P βA P βA P βA P βA P βA H↓B) H↓B(T 4B!!X
@`4`αST`αS 48α∩@tPβS Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∩A∀P∧Q(FP¬B$1Xβ@j((↓*((@hp '↓i`8(A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A 0⊂α↓ ↓↓ ↓↓ 0@&↓HT 5DbAX
@tPβS Dhα∪ Dhα∪ Dhα∪ Dhα∪ @_∧∪ @_∧∪ @ αS @ ↓S @_↓S @⊂↓S @λ↓S!∀h¬∪ Pλα∪ @⊂αS @_αS @ α∪ @ αS @(αS @0α∩A⊂⊂∧∩A⊂⊂∧⊃(F`¬αc1X↓i 8&A P &A P &A P &A P &A P &A P &A P &A P &A P &A P &A P &A P %αI P"Q
R⊂D"⊂β@@`(β∩@pλ∧@A∀hβ@`@λ↓@`Dhβ↓ `(α∪ P0αA@Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∩A⊂_∧a∀P∧@a_∧Q(Fp
EB⊃λ↓` 0%↓`⊂H&A`0 &A@P &A ` &Ap &Ap &Ap &Ap &Ap &Ap &Ap &Ap &Ap &Ap &Ap %α 0H%α 0H"Q
q⊂ D"⊂0β∪A$hα↓D`α↓@DXααDXααDPαα@DPαα@DPαα@DPαα@DPαα@DPαα@DXααDXααD`α↓@Dhα↓Dp¬∀d("≤αQ0D 8↓↓I!λ&A`0(&A p &A↓⊂ &A↓⊂ &A↓ &A↓ &A↓ &A↓ &A↓ &A↓ &A↓⊂ &A↓⊂ &A p &A`0(&CIP ↓↓IP &A P &A P &A P%αHT 8EαQHλA@`_↓∪A⊂λ↓S P_β∪@0αR`@8αR`@@α∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩`@@α∩`@8αS@0αS @_βSAUα@@E8α∃`E8α∃`E8α∃`E ¬∃↓$("≤A`xλD 8A) p&A@⊂ &A &A 0⊂&A)P &A P &A P &A P &A P &A X%αhT 9C!aλλ@``λ↓∩a4X↓ADP↓A@4P↓A`$Pα↓@$PβRa∀X¬∪!∃βR@ 8α∩@ @↓R@08↓R@08↓R@P ↓RA4P↓@d("≥↓@hF @⊂'I`⊂'IP_&@iP_&↓ X%αi@ &↓ @ &↓ @ &↓ @ &↓@⊂&↓@⊂&↓@⊂&↓@⊂&↓@⊂&↓@⊂&A _&B p("Q∞Q(∧"⊂βAtPβAthα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓@Thα↓@Tpα↓dxλ∀pλβQ(G0
¬α⊃λα @8%α @8&↓!_&A↓⊂&A `_'↓`⊂'↓ @_'A@⊂'A 0⊂(↓ _(↓ ⊂(α
⊂0(AJ )↓
0⊂)@HT ;G#Qλλ@↓⊂⊂βAtP∧@@p βSP(αA`4hα↓@@8↓∪ P(αA 4pα↓ P(↓∪@@(αA $pα@`p_↓S`@_↓ @_↓∪`Pλ↓@ Pλ↓T@λ↓`@λ↓∀@λ↓`@λ↓∀p_βT P(αT P(αT@08↓T@08↓T@08↓Q(G@
E"⊃λB 08%B 08'↓ P '↓ @_'A 0⊂(↓ ⊂_(Aj ()↓* 0(B
_↓↓
⊂↓A)p_α↓)`_β↓)@ βA) 8αB) 8αB(T <EαAHλ@↓⊂ βRA⊂ βSP@↓S @@↓∪ P0↓S@@0↓∪@P ↓S`@ ↓∪`@ ↓∪`P⊂↓T@⊂↓∀↓¬λβ∀ e⊂α∀@E⊂α∀`%⊂αT@%⊂↓∪ _↓R`@λ↓R`@λ↓∩`t`αQ(GPπDα⊃λCI0p%AP %@`P(%@@P(%@@P %@@@(%@@0('A)p αI`(αIP(α@IP α@i@(α@i0(α@i0 αA p%βHT ¬C↓X
@αTP
S@@@αS@@P↓S@@Pα∪@@X↓S@@X↓S@@`↓∪@@`↓∪@@`↓∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∩ATPεQ(@λ∂λβ1XπJp +A
`0+↓JP@*@@ *` (*@@ )@`@()@@` )``()A (@a((a ((A@ '@a@('@A` 'a`('B &@b(&@B &b (&B@ %G 1`%πI!p"Q!`∂εc0P∧∀!eαA@Txαα@DpαβDhαβ@D`α∧D`α∧DXα∧@DXα∧@DPα@ `↓ TPα@ `↓@DPαB⊂α∩@@⊂λ@DPαB⊂α∩@@⊂λ@DPα@ `↓@DPα@ `↓@DXα∧@DXα∧@DXαDT`α∧Dhαβ@DpαβDxαα@EαA@Uλπ∃↓∧("bqH
Fa _*j@_*j0()A*0()↓j ⊂A
⊂A
⊂A
⊂_A*⊂⊂↓A
⊂⊂↓A
_↓A*⊂αA
⊂αA
⊂αA p_αA)p⊂βA p⊂βA `_βA)`⊂∧A `⊂∧A P_∧A P_∧A) H↓Bi H↓BhT α¬"qX
@αTP
RBTP
R@!λ↓∩@!λ↓∩@!λ↓⊃`∀`↓β $`↓β $`↓β $`λSα∀`λSα∀`↓β $`↓β $`↓β $8R@!λ↓∩@!λ↓∩@!λ↓∩BTP
RBTP
Q(@(∞πC1Xπ !`'↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ '↓↓@ %α``X%α``X"QaP∞εc0RC∀Xαβ@dXαD4`αD4hα∧4hαC`4pαC`$xαC@%αβ@%αT U⊂α∀@U_α∀`5⊂↓T@ p↓∀ 0p↓∀0x↓∪`0x↓S@1↓S 1λ↓S !λ↓S0pβ∩c∧PRC∀("↓cAp
F`00¬↓I@@∧α 0PβαI α↓@ α↓ _β↓ βi ⊂∧` _∧I ⊂∧α↓⊂*AJP0*AJ` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
⊂p(CHT ∧εCAX
AAeπ∃ E(α∃ E⊂¬∪b∧pβ @λβ∪ P_α`T`α↓ @(α∩`@0α↓@DPαA@@0αR@@8α↓`DPα↓`@8α∩@@8α↓`DPα↓`@8α∩@P0α↓@TXα↓@@0α∪@(α↓ Dhα@`@_αS@`λα dxλ∀A%(α∃ E(α∀↓eπ⊃(@H∞πC1XβCJ⊂p+↓
` +↓ (βAp(%↓@` β↓I@ β↓` &↓ P αA)P αAP &AP αA P αAP &AP αA P αAP &A @ α↓)` α↓@ '↓@ α↓ `(↓A0('A ↓↓*(A⊂((CJ `*α
` +↓
` (CJ⊂p"Q↓!P∞εc0@¬∪b∧pβ↓@d`αCTXαC@TXα∧DPαDTPα∧@DPα∧@DPα∧@DPα∧@DPα∧@DX↓D@4Xα∧D`↓D4`↓D4`αβ@Dh↓C@4h↓C@4p↓C4P↓@0`↓@@$P↓`0P↓@`$P↓`0P↓@`$P↓@`0@↓@`4P∧B↓∀X∧AA∀X∧AA∀X∧AA∀("α!_F `0'αIP α↓ @ β↓ 0 ∧↓ 0 ∧↓ 0 ∧↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ ¬↓ 0 ∧↓ 0 ∧↓ 0 ∧↓ @ β↓ P α↓ `P(↓HT _CB!HA`$xα∩A∀P∧S`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∩AdPπ⊃(C⊂λ∧C⊃Hα↓iPP&`@(%@`p %a(%a⊂ %↓↓ %↓↓ %@A⊂ +↓
P *A
@ *j0_)j⊂_(ip_βI`_β@I`⊂∧IP_β@i@p%CI x%βhT →Dα!HAth¬∪0 αR`00αR`@0α∩`@0α∪ 8α∃ E α∃5⊂α∪@tpβU5(↓U@50α∩` Hα∩@@@α∩@@@α∩@0Hα∩@0@α∩` @α∩`@ αS↓4pβQ(C ∧c⊃HεJP_*@j@ )A* 0)↓J⊂8(`⊂ '@` '@@0 '`0 &@`@ &@@P &`P %@`` %`p %∧I!⊂*↓
@ *↓
@ *↓
`(βλT ~Dα!H@AT`εS↓D`¬∪$`↓∪$`↓∪$`↓∪ λβ∪↓4`α↓D`↓↓`E(α∃@E0α∩` Hα∩@@@α∩@@@α∩@0Hα∩@0@α∩`08α∪0 αS!$pβQ(C0 ∧c⊃HβAIpP'↓ 0 &AP &↓ P &↓p_%A 0 %A ↓AI ↓α) @`0(%↓`P %↓@p %↓A %↓!⊂ %↓!⊂ %↓!⊂ %A↓⊂ %A↓⊂ %A↓⊂ &↓p &↓ P(&A 0('αJ8"Qεqλ FC λ↓∩b∧Xλ∩atPπR@0H↓R@ H↓R@ H↓∩@ @↓U%_↓T`%⊂↓T@5⊂↓∀ 5λ↓TEα∀5↓S`Dxα∪`Dxα∪`E↓⊃(C@λ∧C⊃HαAIPP&↓0(&`` %@a_%@a_%@a_%A` %A P_&↓@ &BI`@'α PX&↓ 8%AP0%↓p(%a⊂ %a _%a _%a _%a _%↓↓_%A @ &αi`8"Qπ⊃⊂ F#⊂(βSA∀hα`D`α↓ DXα↓`DXααDPαα DPαα DPαα@DPαα@DPαα@DPαα@DXααTXααT`α↓@dhαa∧p∧@ Dxβ@E8α∃`Dh↓↓`D`α↓@D`α↓ D`↓ATh¬∪@t(" α↓⊂∂G p⊂(@Ip0&BI@ @@⊂ %@`0⊂↓@i0_↓@@@_%`@⊂αi _α@0 %`@⊂↓A ↓@@@⊂%↓0⊂%↓@⊂⊂%B @P&BI`P(B
⊂⊂↓↓
⊂⊂↓A 0⊂α@0 %↓0⊂αi ↓@@@_%`@⊂αi _α@@_%@@@⊂↓@i0_↓@@ &↓⊂⊂A PP'AJ⊂⊂(@HT ∪πβaX
BEλβ∀@λ↓S`@_↓∪`@_↓∪`@_↓∪`@_↓∪`@_↓∪`@⊂↓Sa∧xβAa∃αB↓∃αB@Dxβα@4p∧α $h↓@ P@↓S0⊂β↓`$Xα`P0↓R@@ β↓4Pα↓ `_↓∩@@0α@@4Pα↓A∀Pα↓`p@↓∩@P8βα$Xα↓`p0↓S@ ¬↓4h¬a$pβA`t("∂Aqλ
D`p_(↓*((↓*⊂_#@J⊂⊂(@J⊂⊂(@J⊂⊂(j_'@ip_&A @(%A) (%↓↓⊂%↓p %↓p %↓↓_%A @ &αi`8"QπpxλFc0 βS↓4Xα↓TP↓BDPα↓`DPα↓`DX↓αE αT`U⊂αT@Eλ↓T 5↓T5↓∀%↓∀%↓⊃`%↓S`TxαS`U↓Q(A∧BB⊃λ↓i 8&A P &A P &A P &A P &A P &A P &A P %α) H"Qα⊂P∧F"⊂_βS uα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∩` _α∩@@λαR@@λα∩A∧`αQ(AH ∧c1XβAIpP'↓ (&A @(&A` &A` &A` &A` &AP &A@ %↓`⊂0%↓`⊂0&A0(&AP &AP &A` &A` &Ap &Ap &Ap &Ap &Ap &Ap &A ⊂↓A P A⊂ &A⊂H%↓`⊂@%↓` ("Qβ!X∞D"⊂_∧↓ t`¬@A∀Xα↓↓⊂_α∩`@(βA D`↓↓`P0αU P8α∃ @@α∀"DpSp⊂α∩`P(α∩@P0α∩@@@α∩@@@αα $Pα↓``8↓R`@ α @ α∪↓ _¬∪ p8β⊃(AX∂πb⊃λβ↓@p8'α@@H&A@ A 0 &↓`@αA 0 ∧↓@`(%A↓0βA ¬↓↓ %↓↓!%↓↓!%↓↓ %↓↓ %↓↓ %A↓0%A↓0∧@I@ βαp_&A@ ↓↓@ 'α@@P(↓A0"QβA⊂ Fb`x↓⊗ %@↓V%8↓T↓∀p¬∪ @ α∪@(αR`@(βR`@(↓ DPα↓ 0⊂α∩@@(↓`DPα↓0_α∩@@_↓ADPα` (α∩@@⊂↓A DXα (α∩`p(α∪P(α∪ @ α∪A$h∧S4`↓∩`4X↓∩`$("λ P@
F`⊂_%↓) (%↓) (%↓) (%A 0 %A 0 %@i0_%@i0_&I@⊂&I@⊂&Hp⊂%@i (%↓) (%@hT ⊃GDα_
C@ @↓⊗ 8↓U`08↓∃` @↓∃` 8↓U` 8↓∃@08↓∃@ @↓∃@ 8↓U 08↓∃ @↓∃ 8↓U 8↓∩CdP∂∃ 8↓T`08↓∀` @↓∀` @↓∀` 8↓T@08↓∩CdP∂∀@ 8↓∀ 08↓∀ @↓∀ 8↓T08↓∀ @↓∀ 8↓T 8↓∪`08↓∪` @↓∪` 8↓S@08↓∪@ @↓⊃(B(∂λβqhα↓" ⊂&Ab_&↓ _πi0 αAP_%@`P_¬↓) αA@@8%↓`x%↓`⊂↓↓@⊂_%↓`⊂∧@I βA_%↓`⊂β@i α@``_%@`P⊂βi0 α@`⊂&↓ _α@iP8α@`@('↓ P_α↓jp_α↓ _+@@@ αJ`_α`P⊂*@`@ α@j@_αA`⊂)@`` βJ0⊂βA`⊂)`p βJ⊂_∧↓`⊂(a⊂ α@ip_¬@`P⊂'@A@ αI`_εA _&@ap8&@B⊂("Q∧p0∧Cβ0λ↓R@TPβ∩@dXαS@$p↓∪ 4h↓∪4X↓R@DP↓⊃(B@∧C$qhβ@J_'@i`_&A P_&↓ @_&i0 %A 0 %@i %↓ %↓ %↓ %↓ %↓ %↓ %↓ 0_%A 0 %A @_&i@ &@iP 'ip_(j⊂⊂"Q¬⊂H¬IcP↓∩@4X↓S4`α∪ 4hα∪@4p↓S@Dpα∪@Dx↓S`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`4pα∪@Dpα∪@4p↓S Dh↓SD`↓R`4P↓R@$("
Aaλλπ `_(j_(I _↓@@0_%↓ ⊂↓↓ (@@⊂(&αIp 'A @P%↓ ⊂⊂A) ↓@ %`0⊂↓@j_(j_"Q¬1`∂εbph↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∩CDP∞∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`$("P@ε↓⊂_%↓) (%↓)0 &@IP⊂&@I@_&I0_%i ⊂"Q¬`(∧↓@λ↓R@TPαR@TX↓Q(Bxλ∧DqhπK⊂+@jp⊂+@J`_+JP_*@JP⊂*j@⊂*J0_)@J _)J ⊂(@j⊂⊂(@J_(J⊂'@ip⊂'i`⊂'IP_&@IP⊂&i@⊂%@i0⊂%@I _%I ⊂"Qπ (∧∧"⊂λ↓R@TPαR@TX↓Q`tX↓R@TPαR@TX↓Q(CXαBβ⊃λ@i (%↓) (%@hp8%@i (%↓) (%A P⊂&@IP⊂&i@⊂%@i _%HT ≡↓!↓X @ 4PαR@TPαR`48↓∪$`↓∪$`↓∪$X↓R`4X↓R`4Xα∩`DXα∩`DPαR@TPαR@TPαR@TX↓Q(Ch∞πA0xπ !`#Ai!`%πλT πβaX
BA¬λπ∀P0αS`0`↓S@0p↓S 0(β↓ 4`↓A↓ ↓R`0 α↓@ ↓R` α↓`P⊂↓∩` _ααP⊂↓∩@0_αα @⊂↓R@ _αα@@_↓∩@ _αα@@_↓∩@ _αα@@_↓∩@ _αα@@_↓∩@ _αα@@_↓∩@ _αα@@_↓∩@0_αα @_↓∩` _ααP⊂↓R` α↓`P⊂↓∩`0 α↓pλ↓S0 ¬ dh↓A ` α∪@4x↓D 5αB!¬λ U↓4("⊗`PH∪G (%↓) ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I (%↓(T .A r8∞@TPαS $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∩@TPαQ(Fβα↓AXαI@ &i0_%@I _%I ⊂%↓) 0%↓I0(&hT α↓@8
@ $Pα∩@TXαSThα∪`5↓⊃(A_∧∧qXα@I` &A)@(%A)0 %i ⊂"Qα@`λ↓C⊂↓α$P↓A@4Xα@D`∧∪ dpα∪`$("¬!A∧ε`⊂∧I ⊂∧I _βi _βi0_αi0 ↓↓ @@&AI` "Qα`pλ@"`π∩Ad("¬a↓ ∧ε` %AI _↓i ⊂αI ⊂αI ⊂αI _↓i00&↓λT αBP@@`Dhα∪ dhβTEα∪@dP∧R@t("λ↓ Xαβ`` '↓I@(%↓) _"Q``λ↓C0(↓∪@Dhβ∪↓∧Xα@DP↓A@4P↓α$("↔`P@αε`⊂_%↓) (%↓)0_"Q∂P`λAc0_↓↓$`α@D`α@DXα@DXα@DPα@DP↓@`4P↓↓$("∨Aaλαε`0 α@I@8↓i0`%` 8%@P "Q∂p`λ↓β0λ↓A4Pα@@TPα@@TPα@@TX↓A4("π$2(
Fa⊃@)F
`⊂A↓⊂(+@⊂ ¬@jP_A↓@_*@@ εj@_↓↓↓@_*@0 α@@`⊂*@0 α@@`⊂)@`0 α@@`⊂)@@@ αj0⊂α↓@_)`@X)@PX(@`P αj⊂⊂β↓@_(@@` α@Jhα@@p⊂(β P⊂β@J⊂βA↓P_'@`p ε@ip⊂∧↓↓P⊂'a εi`⊂∧A↓0 'A⊂ ¬↓)P ∧↓↓0%α !0%α !0"Qβb0∀εc0P
∀#UαA@PHαS`@Hαα`4pαα@@`↓S @Xαβ4`αβ@`↓R`P`α↓ 0↓∩`@hα↓ 0↓∩`@hα↓ 0↓∩@@pα↓4Pαβ@@ ↓R@@p¬R@@p¬R@@pα↓4Pαβ@@ ↓R@@pα↓ $Pαβ@@(↓↓`$Xαβ @(↓↓`$Xαβ @h↓R`P`αβ 4`αβ@h↓∪ @Xαβ4pαα@@Xα∪`@Hαα@UαA@P@β∀#U
⊃(Ax∞πCqhL⊂_*αP⊂(C@⊂_(↓ `8'A↓ '↓↓@ &A↓@0&↓↓@_A @ ¬@` %A↓@⊂α↓ 0 ¬@`@ %↓! _αA) ¬`p %↓↓ ⊂∧↓ ∧@a %↓↓_∧A ∧A %↓p_¬↓ βa0 %A@_¬A 0 αA@ %A _¬A)@ @a@ &AA@ '↓↓@ 'A↓ '↓``(&@`⊂p&@@P@&i@⊂"Q↓1H
εc08∧@e ∪@P(α@@Dpα↓@P⊂α∪ @8α↓$hα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`DP∩Bdhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`DX∧a∀X∧a∀("βαQ0
F`p@(αi`(αA ` β↓ P βA P ∧IP &A P &A !⊂%∧IP βA P βA P βA P βA P βA P βA P βA P βA P βA P βA P βA P βA P βA P βA 0@↓αI0@↓αHT εE"aX
Aaλ↓∀↓DpαA Dpα↓@Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`DP ∩B$hα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`Dhα↓`DX∧A$X∧A$("βDαλ
F`p@↓B
↓0'↓ P0αA ` β↓ ` &Ap βA P βA↓⊂&Ap &Ap &Ap &Ap %π)!h&Ap βA P βAp &Ap βA P βAp &Ap βA P βAp &Ap βA P βAp &Ap βA P βAp &Ap βA P βAp &Ap βA P βAp %B0@↓αI0@↓B P"Q↓r⊂Fc08∧aλ↓∀αtpαA `(α∪@@0αA@Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`DP∞RCThα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`DX∧a⊂¬∩a_∧A$("↔↓Q⊂εε`@⊂α@I@ ↓A @_αi0_αi0⊂α@I _αi ⊂α@I ⊂α@I (↓↓) 0AI 0AI0(↓↓)@_αhT ⊃β!``
@ 0 ↓R@P⊂αR@`λβ∩@`λβ∩`P⊂αS@ (↓∪@ (↓∪ 0 ↓S (↓∪0 ↓R`0 ↓R@@_α∩@ (↓⊃(Bh¬B`0Pαi X%αi X"Q∂1
!0
∩BD("∨¬∩HB`αH%
(←@¬-X UC∪H↓∨3@↓∨3@␈␈␈␈pαH␈␈␈␈0↓h{⊂$ε0∧?0!π@`¬*`%↑d_∂@↓D8∞λ⎇HBβ∨G⊂⊗`{⊃#P¬d8p;?0#πX9↓∀≡d8⊂@↓U8∞⊂Y⎇Iαβ_2⊂{∩!pβλq`r←0%¬@@↑≤@↓u≡dX⊂@↓S@r ∞⎇IAPαTI@{∪$pπe*P↓≥∨0'λ``αj≡dx⊂@↓S@r0≡⎇J↓hαr≤8j`{∀$⊂εN≤@↓`∨0)π``Ac@βe↑e_↓↔λc@@¬⎇JAxβλq`↓π{∃$ε0α→␈0+λ``∧P↑e8⊗α↔@rHU⎇Kαβ_↓%`{⊗$ε0αY∨0-ε@P1c@¬I≡fλ
@↓λXB⎇L!@α.≤8↓<p{_b0βcG⊂β¬␈02εH8q`ε→↑f( @xp≤@`b⎇L`h↓&≤8↓P{→bP∧ β(←04εH8q`εi≡fHεK@rpβ⎇M h↓&≤8↓cp{~b`∧>≤@βQ?06β \9π:↑fh⊃@↓bPU@x∀⎇Ma@α.≤8↓yp{≠bP∧ β⎇←08εH8q`λ
≡gλ↓∂@r↓G⎇N!λ↓UcHα∞`{≤b⊂β-∪p∧#␈0:∧0N≤@λX≡g(↓↔λc@↓λT⎇Na0α∨∞ α∨0{≥cpε⊃c@∧F␈0<¬@@|9 )↑gH↓∂@r↓⊂u⎇O!_↓qcHα4⊂{β ¬(∧p␈0H`p∃*` u↑`⊂⊂@↓S@r↓ ≤⎇@1Xα[G⊂αL{↓β ¬_q`¬$␈0αH``
↑↑`0∂@↓D8∞↓(v⎇@rλβ'∞ αd`{αβpε⊃c@¬T␈0∧H h≤9G↑`P∂@↓D8∞↓8L⎇F↓(α⊂β↓`{"P∧ ε⊂?0→¬ @@/↑c_
@↓λ↓Hπ⎇FA(α⊂β⊗⊂{
"P∧ ε5␈0≠¬ @@␈↑c8
@↓λ↓P0⎇G↓(α⊂β*0{∞"P∧ ε`←0∩¬ @@
Z≡b0⊂@↓S@r↓Xy⎇Ga αq`βG@{∂b@∧↓c@π↔←0λβ \9∞@↑aλε@Sλc@↓h⊗⎇C⊃(α⊂βVp{εCpε⊃c@π<←0
H h≤9∂∂↑a`
@↓λ↓pP⎇D⊂`↓↔∞ βp`{λd0π
U0πh␈0∩H`p∃*`∂u↑b8εK@rαJ⎇E↓↓SG⊂∧0{
"β'∞ λ!←0∃¬ @@⊂Y≡bX⊂@↓S@rαλR⎇E@`↓↔∞ ∧≡ {A@α.≤@λ@←0↔E @@⊃¬↑cPεK@rα⊂6⎇G0`↓↔∞ ∧(P{∂↓@α.≤@λV␈0≡H h≤9⊃<↑d⊂@↓S@rα_↓⎇K0`↓↔∞ ∧;{↔!@α.≤@ ␈00β \9∩↔↑a⊂
@↓λα ?⎇B1(α⊂∧I0{¬αP∧ ∃←0
E @@∩2≡a0
@↓λα v⎇Brβ_∧O@{εβpε⊃c@ #?0⊂β \9∩M≡ep
@↓λα("⎇Kp`↓↔∞ ∧V{∨"P∧ .∨0?¬ @@∩f≡gx
@↓λα(X⎇CR0βk∞ ∧\`{πE λ@ N∨0∂H h≤9∪E↑`X@↓≡PU@α8Z⎇AA@α.≤8¬α`{β#∧\8p
∩?0πλ`p∃*`∀A≡`x⊃@↓bPU@αHN⎇KA(α⊂¬${λBP∧
O?0⊗C@(U*`∃-↑gX
@↓λαPb⎇OBP∧ ¬-|@αPm`{⎇xow{⎇x